61. The rise of modern logic :
پدیدآورنده : edited by Dov M. Gabbay and John Woods.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic-- History.,Logic.
![](/design/images/bookmore.png)
62. What is a logical system?
پدیدآورنده : edited by D.M. Gabbay
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Logic, Symbolic and mathematical,، Computer science
رده :
QA
9
.
2
.
W48
1994
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
63. What is negation?
پدیدآورنده : edited by Dov M. Gabbay and Heinrich Wansing.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Negation (Logic)
رده :
BC199
.
N4
E358
2011
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
64. proof theory for fuzzy logics
پدیدآورنده : Metcalfe, george
کتابخانه: (قم)
موضوع :
رده :
QA
9
.
64
.
P78
2009
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)